
div.main {
	width: 1030px;
	margin: 10px auto;
}
div.left_panel {
	width: 300px;
}
div.right_panel {
	width:710px;
	margin-left: 20px;
}

.left { float: left; }
.right { float: right; }
.clear { clear: both; }
.middle > * { vertical-align: middle; }

ul {
  list-style: inside;
  padding: 0px;
  margin: 0px; 
}
a {
  color: #313d7a;
  text-decoration: underline;
  link-color: #313d7a;
  link-text-decoration: underline;
  active-color: #313d7a;
  active-text-decoration: underline;
  visited-color: #761d7a;
  visited-text-decoration: underline;
  hover-color: #111d6a;
  hover-text-decoration: underline; 
}
body {
  color: #222;
  font-family: verdana,'trebuchet ms',sans-serif;
  font-size: small; 
}
	
#execute,#results {
	display: none;
}
#screen {
	height: 300px;
	width: 700px;
	border: 1px solid #ccc;
}
#console {
	margin-top: 20px;
  width: 690px;
	color: #555;
}
#console .lv1 {}
#console .lv2 { margin-left: 20px; }
#console .lv3 { margin-left: 40px; }
#console .lv4 { margin-left: 60px; }

.ctrl {
	border: 3px double #ccc;
	padding: 10px;
}
.ctrl .run {
	margin-bottom: 10px;
	font-size: medium;
	font-weight: bold;
}
.ctrl table {
  border: 0px;
}
.ctrl table input {
	widht: 100px;
}
.ctrl table .unit {
  padding-left: 5px;
}

#tests {
	margin-top: 20px;
}
#tests .test {
  margin-bottom: 5px;
}
#tests .test .name {
}
#tests .test .result {
	padding-left: 40px;
}

#results table.summary {
	border-collapse:collapse;
	width: 700px;
}
#results table.summary td,
#results table.summary th {
	padding : 2px 5px;
	border: 1px solid #ccc;
}
#results table.summary td.time {
	text-align: right;	
}

#results .panel {
	 margin-bottom : 20px; 
}
#results .header {
	border-left : 5px solid #bbb;
	padding-left: 10px;
}
#results .result {
  margin-top : 10px; 
}
#results .result .iteration {
  margin-top : 10px; 
	font-weight: bold;
}
#results ul {
  margin-left : 20px;
	color: #555;
} 
#results ul li {
  list-style: none;
}
#results ul li.lv2 {
  margin-left: 20px;
}

.status_success {
	color: #11aa33;
}
.status_timeout {
  color: #aa1133;
}

.separator  {
	padding: 0px 5px;
	color : #999;
	font-weight:normal;
}
